∂30-MAY-74  1317		1,KNM
 PHONE MESSAGE 30-MAY  JIM MORRIS CALLED AGAIN WANTING TO KNOW WHAT YOU
 DECIDED TO DO ABOUT SUPPORT FOR HIS STUDENT, NAKAJIMA.   HIS PHONE IS
 493-1600 X583


∂28-MAY-74  1157		DOC,TOB
 Dave Waltz speaks well of Lozano-Perez
 (one of new students).  We might support him.
 Tom

∂26-MAY-74  1056		ACT,REG
 I told you a wrong thing last night.  If you put a remote-password on one
 of your areas, say ESS, then that area can be given the local-user privilege
 and you will be able to alias to your other areas and write files there
 (assuming that the area in question may be written on by local users).
 
∂25-MAY-74  1309		1,DEK
 john, please send me a copy of your memo to nilsson about the
 history of alpha-beta searching, and also your "general game-
 player" programs.  Or, tell me what files to read if they're
 unprotected. Thanks.      -don knuth (DEK)

∂24-MAY-74  1947		1,JJ
 Will you be at the Lab Monday morning? ..jerry

You have exceeded your disk quota.
The files listed below have been purged to reduce your disk
area to your quota of 1100
BACKUP.TMP[ESS,JMC]
BACKUP.TMP[226,JMC]
BACKUP.TMP[257,JMC]
QQSVED.RPG[ AI,JMC]
QQSVED.RPG[LET,JMC]
T.LST[ESS,JMC]
GTREE.LST[206,JMC]
MTC.LST[ESS,JMC]
MUSIC.LST[ESS,JMC]
ROTB.REL[  1,JMC]
ROTD.REL[  1,JMC]
ROTE.REL[  1,JMC]
ROTC.REL[  1,JMC]
ROTF.REL[  1,JMC]
ROTC.REL[ESS,JMC]
ECHO.REL[ESS,JMC]
LIVER.REL[ESS,JMC]
LIVERM.REL[ESS,JMC]
GTREE.DMP[206,JMC]
FOO.DMP[206,JMC]
TIC3D.DMP[206,JMC]
PROOF1.DMP[226,JMC]
FOO.DMP[257,JMC]
∂23-MAY-74  2332		NET,GUE network site USCT
 THIIS IS FEYNMAN.  TRIED OUT YOUR SYSTEM. I DON'T KNOW WHETHER IT WORKED
 OR NOT. ANYWAY APE WAS "NOT AVAILABLE FOR THE TIME BEIMG". THEY NEVER DID
 ASK ME FOR THE "REMOTE USERS PASSWORD" AND KEPT ASKING ME MY NAME, BUT THEN
 KEPT GOING BEFORE I COULD WRITE IT DOWN. NO COMPLAINTS, THO - BUT I
 THOUGHT IF I DIDN'T DO ANYTHING ELSE AT LEAST I COULD SEND YOU A MESSAGE.
 I ENJOYED YOUR STAY HERE VERY MUCH. I HAVEN'T YET THOUGHT ANY DEEP THOUGHTS
 ABOUT MY LANGUAGE LEARNER FOLLOWING YOUR SUGGESTIOONS. I EXPECT TO WORK ON 
 IT LATER THIS SUMMER. BYE.
 
∂23-MAY-74  1631		1,VDS
 My PhD proposal has been approved by all concerned.  Bernie Roth wants to
 set up a meeting to settle on the details of just what I am to do.  A suggested
 time is Friday- May 24- at around 1 or 2 pm.  Is this OK with you?  Please
 acknowledge by sending me a message and calling Roth at x74971 if it's during
 the day. 
 	Thanks , Vic.
 
∂22-MAY-74  2335		DOC,TOB
 A NASA proposal draft is on PRO.B[NAS,TOB].
 Tom
 
∂22-MAY-74  1631		DOC,AJT
 john:
 	i have put in your mailbox a draft of the FOL manual. Your comments

 will be appreciated. arthur.

∂22-MAY-74  0217		network site BBN
 Date: 22 MAY 1974 0515-EDT
 From: MEIR WEINSTEIN at USC-TIP
 Subject: CIT VISIT
 
 - - - -
 THE RESPONSE TO YOUR VISIT IS POSITIVE IN GENERAL.  WE ARE NOW
 WORKING ON A FORMAL PROCEDURE BY WHICH CIT WILL SELECT
 SENIOR CANDIDATE FOR CS, AND IN PARTICULAR FOR THE SELECTION OF
 THE DEPARTMENT CHIRMAN.  THE NEW PROCEDURE WILL HOPEFULLY AVOID
 THE OLD POLITICS OF THE INFORMATION SCIENCE GROUP.  WILL LET YOU
 KNOW ALL NEW DEVELPMENT.
 -------
 
∂21-MAY-74  2046		CAR,HPM
 There is, of course, a quick overview of what I expect to be able
 to do, in the existing document. What you probably want most
 of all is an explanation of how this will be more than a
 "look ma, no hands" endeavour. Ill do my best.
 
∂21-MAY-74  1417		1,KNM
 PHONE MESSAGE:  you are invited to a wine and cheese do at bldg. 1 at
 4:30 on may 24 by dean royden.  21-may 2:30
 
∂21-MAY-74  1044		1,KNM
 phone message--jim morris would like to know what you decided about supporting
 the student he suggested--493-1600 x583

∂20-MAY-74  1702		1,PJH
 MY PASSWORD FOR [1,PJH] IS THEORY.

∂09-MAY-74  1323		THS,MJH
 If you don't approve by Sunday, I will have only a week left.

∂09-MAY-74  0449		P,JRA
 Yes, I would be interested. Thank you for asking.

∂08-MAY-74  1335		R,AJT
 The display version of FOL is now DFOL.DMP[1,3]. Comments solicited.a.

∂07-MAY-74  0951		1,KNM
 john as far as i know you haven't done anything about sending doctor's dilemna
 to harpers.  we discussed the idea just before i left and i think that we should
 follow through.  it is truly an ingenious piece and one which should be shared
 for the proper price.  however, i think we should first clean up a few of the rough
 spots and check spelling.  shall we get on it?-kasee
 
∂07-MAY-74  0641		CRE,BGB AT TTY21   0641
 ...ALSO, THE TURN TABLE DOES NOT WORK.  If I had to state only one reason
 why A.I. research is difficult it would be the fact that interfacing a
 Sandwich machine gets more hardware priority than Cart or Video related
 things.
 
∂07-MAY-74  0547		DOC,BGB AT TTY23   0547
 I HAD NO TROUBLE REACHING BERNIE CHERN (HE ANSWERED THE PHONE,
 8:10AM HIS TIME, 5:10AM OUR TIME). HE SAYS HE WILL CALL ME TOMORROW
 ON DETAILS OF FORMAL APLLICATION, BUT WHAT HE THINKS I SHOULD DO
 IS SEND IN A PROPOSAL FOR A $20K TO $30K EXTENSION ON FELDMAN'S ASSEMBLY 
 GRANT WITH RESPECT TO GEOMETRIC MODELING FOR VISION AND ASSEMBLY.
 HE SEND I SHOULD LOOK AT THE "WORK SHEET" THAT YOU AND JAF HAVE.
 						BGB
 
∂06-MAY-74  2339		1,DCL
 John- have you made your final move on the SRA ?-David

∂6-MAY-74  2046		network site OFF
 JI MEJ MAP 6-MAY-74 20:03  30641
 Farewell
 Location: OFFICE-1 <LJOURNAL>30641.NLS;xnls
 
 

∂05-MAY-74  0927		1,JAF
 There is a health proposal from Delaware that I asked you to referee.
 
∂04-MAY-74  0843		P,JRA
 another sodden thought on progposed structured LISP:
 there is a diresct and mechanical trnaslation of the obvious s-lisp
 version of MC-PAinter to the declarations and axioms of MCP*.AX, so
 proofs could be carried out with FOL. But reasoning in s-lisp, proofs
 are shorter since you can reason on abstract d.s. representations and notation is
 better.
∂03-MAY-74  2323		NET,GUE AT TTY124  network site USCT
 FOR SOME TIME, THE AP NEWS HAS NOT BEEN AVAILIBLE OVER THE NET.  THE SAME
 MESSAGE HAS BEEN PRINTED OUT FOR THE NEWS(WHEN RUNNING HOT OR APE).
 WHEN ,IF EVER, WILL THE AP NEWS BE AVAILIBLE AGAIN.  

                      ALAN KATZ---U.S.C.
                    USC-ECL(HOST 23)   MESSAGES CAN BE CREATED BY CREATING
                      A FILE WHICH BEGINS WITH @ IN MY DIRECTORY IF YOU
                  WANT TO ANSWER.
∂03-MAY-74  1615		THS,MJH
 John--The gold ring binder that I repossessed from your office has
 been returned to your bookcase, where I got it.  It now contains an
 updated version of my thesis.  PLEASE read it, SOON.	Jo
 
∂03-MAY-74  1200		DOC,TOB
 Meir Weinstein is here visiting today
 (Friday) and would like to talk with you
 later in the afternoon.
 
∂03-MAY-74  1059		1,JAF
 Recall that I left you a proposal to look at. jerry f.
 
∂03-MAY-74  1030		R,AJT
 Por causa ergonomics:
 	There is now a display-oriented version of FOL. It is FOL on [R,ajt].
 When started up it looks like normal FOL until it is given the magical command
 `DISPLAY <nothing>|<AXIOMS>|<THEOREMS>|<LABELS>|<DECLARATIONS>';
 If <nothing> then the proof window takes up the whole screen and things proceed
 normally from there. If it's something else then a second window is opened,
 labelled that alternative and those things are printed to that window as 
 appropriate. e.g. if you say `DISPLAY AXIOMS' then any axioms will get typed in the
 RHS window. FETCH and SHOW work in the normal way through the display. If you
 have two windows open, have done some proof and say `DISPLAY <nothing>' again, then
 the RHS window is flushed and the last five lines of your proof are refreshed into
 a full-screen window. `UNDISPLAY' returns you to normal FOL format.
 	The format is still fluid at the moment, awiting feedback from users(that
 means you!) about their preferences. So try it and see.
 	The system version of FOL and this FOL also have modal operators: for that see
 MFOL.NOT[R,AJT]. These features will be described in the new FOL manual which will
 appear soon.
 have fun. arthur.

∂02-MAY-74  1504		DOC,TOB
 NASA proposal underway.  I will have the
 suggested form for the proposal tomorrow,
 and finish a draft by the end of next week.
 Tom
 
∂01-MAY-74  1640		S,LES
 Management meeting on Wednesday at 1:30 PM.